Probabilistic Admissible Region for Multihypothesis Filter Initialization

Probabilistic Admissible Region for Short-Arc Angles-Only Observations

The admissible region is defined as the set of physically acceptable orbits (i.e., orbits with negative energies). Given additional constraints on orbital semi-major axis, eccentricity, etc, the admissible region is further constrained, resulting in the constrained admissible region (CAR). Based on known statistics of the measurement process, in this paper we replace hard constraints with a pro...

Digital Filter Initialization

Probabilistic Anonymity and Admissible Schedulers

When studying safety properties of (formal) protocol models, it is customary to view the scheduler as an adversary: an entity trying to falsify the safety property. We show that in the context of security protocols, and in particular of anonymizing protocols, this gives the adversary too much power; for instance, the contents of encrypted messages and internal computations by the parties should...

Computations of probabilistic output admissible set for uncertain constrained systems

This paper considers uncertain constrained systems, and develops two algorighms for computing a probabilistic output admissible (POA) set which is a set of initial states probabilistically assured to satisfy the constraint. The first algorithm is inspired by an existing randomized sequential technique. The second algorithm alleviates the computational effort based on heuristics. The present alg...

Multihypothesis Pictures for H.26l

Multihypothesis pictures are related to B pictures where two motion-compensated signals from previous and future reference frames are linearly combined for prediction. Multihypothesis pictures also linearly combine two motion-compensated signals but only from temporally previous reference frames. Consequently, multihypothesis pictures have the advantage that there is no extra coding delay like ...